User Models , Dialog Structure , and Intentions inSpoken

We outline how utterances in dialogs can be interpreted using a partial rst order logic. We exploit the capability of this logic to talk about the truth status of formulae to deene a notion of coherence between utterances and explain how this coherence relation can serve for the construction of AND/OR trees that represent the segmentation of the dialog. In a BDI model we formalize basic assumptions about dialog and cooperative behaviour of participants. These assumptions provide a basis for inferring speech acts from coherence relations between utterances and attitudes of dialog participants. Speech acts prove to be useful for determining dialog segments deened on the notion of completing expectations of dialog participants. Finally, we sketch how explicit segmentation signalled by cue phrases and performatives is covered by our dialog model. Der Beitrag beschreibt die Interpretation von Auuerungen mit Hilfe einer par-tiellen Logik erster Ordnung. Die FF ahigkeit dieser Logik, Aussagen uber den Wahrheitsstatus von Formeln zu treeen, dient der Formalisierung eines Kohh a-renzbegriis. Damit kann man die Struktur eines Dialogs als UND/ODER-Baum beschreiben. Dieser Ansatz wird in einem BDI-Modell um eine Formalisierung von Annahmen uber kooperatives Verhalten erweitert. Damit lassen sich { unter Einbezug der Auuerungskohh arenz { Sprechakte bestimmen, die n utzlich sind f ur die Dialogsegmentierung, die durch die Erf ullung von Erwartungen des Sprechers charakterisiert ist. Abschlieeend wird gezeigt, wie explizite Segmen-tierungssignale (cue phrases) von dem dargelegten Ansatz behandelt werden.